Re ections on Instance
نویسنده
چکیده
This paper examines the use of type-safe linguistic reeection in Haskell, a functional language. Several uses are identiied: providing an extensible system of instance derivation; extending derivation beyond type classes and providing a method for polytypic programming. A preprocessor for Haskell is presented that performs compile-time reeection upon type declarations in source code.
منابع مشابه
Nonre ecting Boundary Conditions for Linear Hyperbolic Systems 1
Many compressible ow and aeroacoustic computations rely on accurate nonre ecting or radiation boundary conditions. When the equations and boundary conditions are discretized using a nite-di erence scheme, the dispersive nature of the discretized equations can lead to spurious numerical re ections not seen in the continuous boundary value problem. Here we construct discretely nonre ecting bounda...
متن کاملModeling re ections with an elastic screen method
This paper gives two versions of elastic screen method The wide angle version has a better accuracy while the small angle approximation is more e cient The accu racy of the re ectivity is discussed by comparing the analytical results from the screen method and those directly from plane wave re ections The accuracy of waveform is checked by comparing synthetic seis mograms from both screen metho...
متن کاملPhase transition of KDP observed by Resonant X-ray Diffraction at forbidden reflections
We report observations of space-group-forbidden Bragg re ections in Potassium Dihydrogen Phosphate (KH2PO4), also known as KDP, measured by resonant x-ray di raction at the potassium K edge. We nd clear evidence for a transition from one class of space-groupforbidden re ections, where scattering is ruled out by the electric dipole approximation, to a second class, in the ferroelectric phase, wh...
متن کامل3D Reconstruction of Skin Surface from Image Sequence
This paper proposes a new method for reconstruction a shape of skin surface replica from shading image sequence taken with di erent light source directions. Since the shading images include shadows caused by surface height uctuation, and specular and inter re ections, the conventional photometric stereo method is not suitable for reconstructing its surface accurately. In the proposed method, we...
متن کاملDoes reverberation perception differ in virtual spaces with unrealistic sound reflections?
Reverberation caused by sound re ected o surfaces and objects is present in abundance in everyday life. Yet, in most situations we are unaware of it. This is due to the ability of our auditory system to adapt to the incoming sound re ections, which results in increased echo thresholds, i.e. the minimum delay to hear a re ection as an echo is increased after the echo was heard repeatedly. Change...
متن کامل